記法 きほう めいであれば
kihōmeideareba

Noun
Da Copula

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

1. If the notation name; When the notation name

Ba Conditional
Computing