\catcode`\|=\active
\mathcode`\|32768\let|\myvert

とすると、| と言う文字を、\myvert の「エリアス」として用いる
事が出来るようになるのかも。

複雑なので良く理解で出来てない。