("infin" "\\propto" t "∞" "[infinity]" "[infinity]" "∞")
("infty" "\\infty" t "∞" "[infinity]" "[infinity]" "∞")
("prop" "\\propto" t "∝" "[proportional to]" "[proportional to]" "∝")
- ("proptp" "\\propto" t "∝" "[proportional to]" "[proportional to]" "∝")
+ ("propto" "\\propto" t "∝" "[proportional to]" "[proportional to]" "∝")
("not" "\\textlnot{}" nil "¬" "[angled dash]" "¬" "¬")
("neg" "\\neg{}" t "¬" "[angled dash]" "¬" "¬")
("land" "\\land" t "∧" "[logical and]" "[logical and]" "∧")