quantifiers_and_equality.rst: Explain how to type '∣' (\mid) #86

Closed dharmatech closed 4 years ago