Synonymize terminology and notation. I feel like the difference in meaning between these is small enough that having them both creates more confusion than anything else.

I'd lean towards having terminology point to notation, but I'd be fine with the other way around. We could even just have both point to terminology-and-notation.

Synonymize terminology and notation. I feel like the difference in meaning between these is small enough that having them both creates more confusion than anything else.

I'd lean towards having terminology point to notation, but I'd be fine with the other way around. We could even just have both point to terminology-and-notation.

Implemented: both terminology and notation now point to terminology-and-notation.

Synonymize terminology and notation. I feel like the difference in meaning between these is small enough that having them both creates more confusion than anything else.

Synonymize terminology and notation. I feel like the difference in meaning between these is small enough that having them both creates more confusion than anything else.

I'd lean towards having terminology point to notation, but I'd be fine with the other way around. We could even just have both point to terminology-and-notation.