.. role:: raw-html(raw)
:format: html
.. |times| unicode:: ×
.. |ge| unicode:: ≥
.. |le| unicode:: ≤
.. |>=| unicode:: ≥
.. |<=| unicode:: ≤
.. |and| unicode:: ∧
.. |or| unicode:: ∨
.. |not| unicode:: ¬
.. |implies| unicode:: ⟹
.. |iff| unicode:: ⇔
.. |exists| unicode:: ∃
.. |forall| unicode:: ∀
.. |...| unicode:: …
.. |-| unicode:: −
.. |tau| unicode:: τ
.. |sigma| unicode:: σ
.. |->| unicode:: ↦
.. |a`| unicode:: à
.. |a'| unicode:: á
.. |a^| unicode:: â
.. |a~| unicode:: ã
.. |a"| unicode:: ä
.. |a^o| unicode:: å
.. |ae| unicode:: æ
.. |c,| unicode:: ç
.. |e`| unicode:: è
.. |e'| unicode:: é
.. |e^| unicode:: ê
.. |e"| unicode:: ë
.. |i`| unicode:: ì
.. |i'| unicode:: í
.. |i^| unicode:: î
.. |i"| unicode:: ï
.. |eth| unicode:: ð
.. |n~| unicode:: ñ
.. |o`| unicode:: ò
.. |o'| unicode:: ó
.. |o^| unicode:: ô
.. |o~| unicode:: õ
.. |o"| unicode:: ö
.. |o/| unicode:: ø
.. |u`| unicode:: ù
.. |u'| unicode:: ú
.. |u^| unicode:: û
.. |u"| unicode:: ü
.. |c'| unicode:: ć
.. |_0| replace:: :sub:`0`
.. |_1| replace:: :sub:`1`
.. |_n| replace:: :sub:`n`
.. |_m| replace:: :sub:`m`
.. |_p| replace:: :sub:`p`
.. |_i| replace:: :sub:`i`
.. |_i+1| replace:: :sub:`i+1`