I am going to call my new language the @ variant

It has two rules. @  is valid variable  from  a binary operation on two valid variables. No, wait, that's one rule! My user's manual will be 2,000 pages long, 1,999 of them let for reader exercises.