Though the effect is satisfactory, I have lots of token blocks to input. So I’m wondering whether there is some method that can help me reduce the work of repetitive style specifications.
I find it’s not a problem of loop. I need to write something like <token>1</token>, which can automatically convert to <span style="font-size: 130%">⟨</span>token<sub>1</sub><span style="font-size: 130%">⟩</span> for me. Is this possible?
<div style="text-align: center">
<code style="background: none">\expandafter</code>
{% include token.html content="e" %}
{% include token.html content="1" %}
{% include token.html content="2" %}
<code style="background: none">...</code>
{% include token.html content="n" %}
<code style="background: none">...</code>
</div>
then the following rules describe the execution of `\expandafter`:
1. {% include token.html content="e" %} , the token immediately following `\expandafter`, is saved without expansion.