prev | next |
File: | Content/Relations/equivalent/rec-equivalent1.html | |
Author: | MathML 2 Recommendation | |
Description: | a is equivalent to not not a | |
Sample Rendering: |
|
Your browser's rendering:
Source Code:
<math> <apply> <equivalent/> <ci> a </ci> <apply> <not/> <apply> <not/> <ci> a </ci> </apply> </apply> </apply> </math>