Use two or more spaces at the beginning of a line and it will be formatted as code ("<code>") and then use symbols as you like.
  ┌──────╖
  │  OK  ║
  ╘══════╝
https://news.ycombinator.com/formatdoc
(for posterity)
Use two or more spaces at the beginning of a line and it will be formatted as code ("<code>") and then use symbols as you like.
  ┌──────╖
  │  OK  ║
  ╘══════╝
https://news.ycombinator.com/formatdoc