assessment: in which derivations are operators used? how frequently are they used?

[researcherben]

TODO: answer "which derivations use this operator?" on the page https://derivationmap.net/list_all_operators

TODO: answer "how frequently is this operator used?" on the page https://derivationmap.net/list_all_operators

• "which derivations use this expression?" is answered on https://derivationmap.net/list_all_inference_rules
• "how frequently is this expression used?" is answered on https://derivationmap.net/list_all_inference_rules
• "which derivations use this symbol?" is answered on https://derivationmap.net/list_all_symbols
• "how frequently is this symbol used?" is answered on https://derivationmap.net/list_all_symbols

"which domain is this expression/symbol/derivation/operator used in?" depends on how one identifies the domain (e.g., quantum vs thermodynamics vs electrodynamics).