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 " ", perhaps repeated.

Examples

• <math>\phi\,\!</math> {{Formal Logic/Equiv}} <math>\psi\,\!</math>
  
• <math>\phi\,\!</math> {{Formal Logic/Equiv|&nbsp;&nbsp;}} <math>\psi\,\!</math>

Results from of examples above

• $\varphi$ $\psi$
• $\varphi$      $\psi$