PREASSOCIATIVE "base" base PREASSOCIATIVE "base" +" PREASSOCIATIVE "base" " factorial PREASSOCIATIVE "base" " ' " PREASSOCIATIVE "base" - " PREASSOCIATIVE "base" " Times " PREASSOCIATIVE "base" " Plus " PREASSOCIATIVE "base" PlusTag " PREASSOCIATIVE "base" " div " POSTASSOCIATIVE "base" " LazyPair " POSTASSOCIATIVE "base" " ,, " PREASSOCIATIVE "base" " = " PREASSOCIATIVE "base" Not " PREASSOCIATIVE "base" " And " PREASSOCIATIVE "base" " Or " POSTASSOCIATIVE "base" " Iff " PREASSOCIATIVE "base" " Select " else " end select PREASSOCIATIVE "base" \ " . " POSTASSOCIATIVE "base" norm " PREASSOCIATIVE "base" " reduce to " POSTASSOCIATIVE "base" "," PREASSOCIATIVE "base" " linebreak " PREASSOCIATIVE "base" " & " PREASSOCIATIVE "base" " \\ "