# ⊦ U+22A6 ASSERTION

- = reduces to