I personally do not like to have underscores in labels. They make them
longer, and the added value is not so high. Maybe for the given example
("sqr2irr" -> "sqrt_2_irr") this approach looks reasonable (although the
"underscore version" is not really more comprehensible compared with
sqrt2irr, from my point of view), but here are some additional examples:
- vtocldf -> v_to_cl_d_f
- recclzi -> rec_cl_z_i?
- leaddsub -> le_add_sub?
- brprcneu -> br_prc_n_eu?
- elfzom1p1elfzo -> el_fzo_m1_p1_el_fzo or even el_fzo_m_1_p_1_el_fzo?
Do we really want such labels? Are they really more comprehensible? I doubt
this...
Alexander
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/88b2e376-248b-4608-bf95-4c7f00d8737b%40googlegroups.com.
