Lean
language: "lean"
-- a b c -> -- a b ¦
-- d ¦ -- c d ¦
x x x x x x x x x x
/- a b c /- a b ¦
d ¦ c d ¦
-/ ¦ -/ ¦
x x x x x x x x x x