Formal notation은 수학, 논리학, 컴퓨터 과학, 음악 등 특정 분야에서 정보를 체계적이고 명확하게 전달하기 위해 사용하는 표준화된 기호 체계를 의미합니다. 일상적인 언어는 모호할 수 있지만, formal notation은 엄격한 규칙과 정의를 따르기 때문에 복잡한 개념을 오해 없이 정확하게 표현할 수 있다는 장점이 있습니다. 예를 들어 수학에서의 수식, 프로그래밍 언어의 문법, 악보의 기호 등이 모두 이에 해당합니다. 이 표현은 주로 학술적이거나 기술적인 맥락에서 사용되며, 일반적인 대화보다는 문서나 강의에서 특정 시스템의 규칙을 설명할 때 자주 등장합니다. 유사한 표현으로 mathematical notation이나 symbolic notation이 있는데, 이는 formal notation의 하위 범주로 볼 수 있습니다. 한국어로는 '형식 표기법' 또는 '공식 표기법'으로 번역되며, 어떤 분야의 규칙을 엄격하게 따르는 표기 방식을 지칭할 때 사용합니다.