Date: Nov 6, 2012 9:10 PM Author: Jonathan Crabtree Subject: Re: Of Interest... Lemmas or Lemmings? "Regarding your "system", how do you transition to standard notation from it?"
Thanks for the question.
FYI I have edited
http://jonathancrabtree.com/bob.txt and answer your question at