記法 きほう宣言 せんげんであれば
kihōsengendeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 記法宣言

1. If it is a notation declaration; If notation declaration exists

Ba Conditional
Computing