Sometimes, I regret my decision to support using \/ and /\ for disjunction and conjunction. 95% of the time, I forget to escape the \, leading to mysterious errors.
Sometimes, I regret my decision to support using \/ and /\ for disjunction and conjunction. 95% of the time, I forget to escape the \, leading to mysterious errors.