Test

Math
$$ x + y x \implies y $$