'Gral.' es la abreviatura para general.
"A mí no me queda claro si 'gral.' sirve para cualquier acepción de 'general', pero dicen que sí."