title: Characters for ASCII print of table
body: <p>I created a small utility to print tables in Java which outputs stuff like:</p>
  <pre><code>/-----------\
  |  header   |
  ⊢---⊤---⊤---⊣
  | A | B | C |
  ⊢---⊥-⊤-⊥---⊣
  | D   | E   |
  ⊢---⊤-⊥-⊤---⊣
  | A | B | C |
  ∟---⊥---⊥---/
  </code></pre>
  <p>Which is pretty ugly because the lines of the different characters are not aligned, currently I fall back on the <code>+</code> char to have:</p>
  <pre><code>⋅-----------⋅
  |  header   |
  +---+---+---+
  | A | B | C |
  +---+-+-+---+
  | D   | E   |
  +---+-+-+---+
  | A | B | C |
  ⋅---+---+---⋅
  </code></pre>
  <p>But I was wondering if this was possible to have cleaner symbols like the <code>T</code> and <code>L</code> but centered in order to join the <code>-</code> and <code>|</code>.</p>
  <p>This is Java code so I can easily use any <code>UTF-8</code> char but did not find anything that suited me in the math character tables. If these characters exist only in other encoding I'm also interested I can find a way to use them.</p>