Mike Gerwitz dfb013ca74 design/tpl: Corrected conjunction/disjunction index placement ... They were incorrectly placed at the quantifiers.		2021-05-11 09:59:03 -04:00
..
class.tex	design/tpl: Remove glossary	2021-05-10 14:28:37 -04:00
notation.tex	design/tpl: Corrected conjunction/disjunction index placement	2021-05-11 09:59:03 -04:00