allow quantifiers \forall and \exists in addition to \A and \E#219

ahelwer merged 1 commit intomaintlaplus/tlapm:mainfrom

parse-forall-existstlaplus/tlapm:parse-forall-existsCopy head branch name to clipboard