Template:Formal Logic/Equiv
(Redirected from Template:Formal Logic:equiv)
Usage
editDisplays 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