Example of usage:

((JKR(T)|1)) =T1