You can do it the first way, and it is certainly not 'informal', but for a technical paper the 2nd way makes it absolutely clear. I don't think wordiness is a problem here; it is a simple abbreviation.
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.