Template:Formal Logic/Equiv

From Wikibooks, open books for an open world
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|&nbsp;&nbsp;}} <math>\psi\,\!</math>


Results from of examples above

  • is equivalent to
  •   is equivalent to