link to nuprl.org ->
Term notation : some notes about how nuprl terms are represented as text in this wiki.