More information on the psyntax system and links to the implementation can be found at Aziz Ghuloum's -psyntax page, -a backup copy of which is here. +psyntax page. The system was created by Abdulaziz Ghuloum and Kent Dybvig based on an earlier implementation by Kent Dybvig, Oscar Waddell, Bob Hieb, and Carl Bruggeman.