search

tirix / mm-web-ui

A user interface for the Metamath web pages
MIT License
4 stars 0 forks source link

mixfix makes only one part of a construct clickable #14

Open ghost opened 5 years ago

ghost commented 5 years ago

Was playing around with metamath and noticed again something interesting. The structured view provides me with the ability to click on symbols, and it leads me directly to their definition.

This seems not to work for the mapsto symbol. Why is this so? For example here, I cannot click on mapsto:

sigaGen = (𝑥 ∈ V ↦ ∩ {𝑠 ∈ (sigAlgebra‘∪ 𝑥) ∣ 𝑥 ⊆ 𝑠}) http://metamath.tirix.org/df-sigagen.html

Means I cannot click on ↦ . The other symbols seem to work. I wanted to explore what is behind the mapsto symbol.

Bug report migrated from news group: https://groups.google.com/d/msg/metamath/Df4--aqbjwg/_TNTCDzoAgAJ

ghost commented 5 years ago

Ok, gotcha, I have to click on the ∈. Thats a little strange, but well then. Its also part of the definition of mapsto:

http://metamath.tirix.org/df-mpt.html

Why not make all parts of a mixfix clickable?