-- TEX.tip;   July 14, 1982 9:27 am

-- macro definitions

[DEF,CTRL,(Spare3 Down | Ctrl Down)]

[DEF,SHIFT,(RightShift Down | LeftShift Down)]

-- trigger cases

SELECT TRIGGER FROM
 
TAB Down WHILE [CTRL] => { "\026" };

Arrow Down WHILE [CTRL] => SELECT ENABLE FROM
	[SHIFT] => { "\001" };
	ENDCASE => { "\031" };

Equal Down WHILE [CTRL] => { "\033" };

Period Down WHILE [CTRL] => { "\035" };

Comma Down WHILE [CTRL] => { "\034" };

Quote Down WHILE [CTRL] => SELECT ENABLE FROM
	[SHIFT] => { "\"" };
	ENDCASE => { "\140" };

ENDCASE.