Thank you for your response
I am afraid I was not super clear in my original post, I would like to be able to set the font size for the symbol “globally”, so that everytime I type it, it is enlarged.
Mainly i want to get this symbol:
⟞
to be a little bit bigger and match the size of this symbol:
⟶
You mentioned defining the style in a CSS snippet, would that be something that could do this?