質問です．
$a_{x:n}$のnに┐をきれいにかぶせるにはどうしたらいいですか？
━┓
ｎ┃ って感じになればうれしいのですが，ご存知のかたいませんか？
それっぽいのを頑張って作ってみたんですが…
$a_{x:\begin{array}{c|}\hline n\end{array}}$ % ┐が大きい
$a_{x:\overline{n}|}$ % ┐がつながっていない
$a_{x:\overline{n|}}$ % ┐がつながっていない
$a_{x:\overline{n}\rceil}$ % ┐がつながっていない

よろしくお願いします．