Re: @tab -> @|

[Richard Stallman]

    @| is already used in Texinfo as a heading part separator, so it
    seems a reasonable choice here.

Assuming @| has no other meaning that conflicts with this, it seems
reasonable to me.