Pedant

adjective/ˈpɛdənt/character

Definition

Someone excessively concerned with minor details and rules or with displaying academic learning.

Etymology

From Middle French pedant, pedante, from Italian pedante (“a teacher, schoolmaster, pedant”), associated with unrelated Italian pedagogo (“teacher, pedagogue”). Compare French pédant.

Synonyms

pedanticize, pedantize

In a sentence

Only a pedant would object to that usage.