| <html> | |
| <body> | |
| <span style="font-family: verdana,sans-serif;"> | |
| This intention converts boolean comparison expression <b>not(a negop b)</b> into <b>a op b</b>. | |
| Where <small>op</small> and <small>negop</small> are mutually inverse comparison operators, like <b>==</b> and <b>!=</b>. | |
| </span> | |
| </body> | |
| </html> |