Template:Formal Logic/Equiv
Jump to navigation
Jump to search
Usage[edit source]
Displays equivalence-symbol image with alt set to "is equivalent to". Optionally displays first parameter before and after the image. It is intended that the parameter be used for padding by setting it to " ", perhaps repeated.
Examples
- <math>\phi\,\!</math> {{Formal Logic/Equiv}} <math>\psi\,\!</math>
- <math>\phi\,\!</math> {{Formal Logic/Equiv| }} <math>\psi\,\!</math>
Results from of examples above