Template:Formal Logic/Equiv

Usage
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 "&amp;nbsp;", perhaps repeated.

Examples
 * $$\phi\,\!$$ $$\psi\,\!$$
 * $$\phi\,\!$$ $$\psi\,\!$$

Results from of examples above
 * $$\phi\,\!$$ $$\psi\,\!$$
 * $$\phi\,\!$$ $$\psi\,\!$$