User:Andy MKST/sandbox

$$ x /implies y $$