在箭头符号或等号上下标条件,可以使用\stackrel{上标}{符号}和\underset{下标}{符号},如
\stackrel{t}{\implies}
\underset{t}{\implies}
如果同时需要,可以使用复合的方式,\stackrel{上标}{\underset{下标}{符号}}和\underset{下标}{\stackrel{上标}{符号}},如
\stackrel{t1}{\underset{t2}{\implies}}
\underset{t2}{\stackrel{t1}{\implies}}