Found in 1 comment on Hacker News
That's perfectly fine, and sometimes done in expository writing.

https://www.amazon.com/Algebraic-Geometry-Projective-Varieti...

This get's very tedious to write if you use this over and over in proofs.