GitHub repository: zuhengxu/shortex
Description: LaTeX header file with useful definitions