ident1

composition of f and inverse of f eq identity using <reln>

W3C sample	WIRIS
[N/A]	$eq left_compose f inverse f identity$

<math xmlns="http://www.w3.org/1998/Math/MathML">
  <apply>
    <csymbol cd="relation1">eq</csymbol>
    <apply>
      <csymbol cd="fns1">left_compose</csymbol>
      <ci>f</ci>
      <apply>
        <csymbol cd="fns1">inverse</csymbol>
        <ci>f</ci>
      </apply>
    </apply>
    <csymbol cd="fns1">identity</csymbol>
  </apply>
</math>

Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)

Index

ident1