Changes between Version 11 and Version 12 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 19, 2010 5:16:54 AM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v11 v12  
    5050Top-level interactions for {{{^}}}
    5151{{{
    52 (m ^ n ~ k) <=> {m ^ n} == k
     52(m ^ n ~ k) <=> {m ^ n == k}
    5353(m ^ a ~ n) <=> a ~ {log m n}   -- log (base m) of n exists
    5454(a ^ m ~ n) <=> a ~ {root m n}  -- m-th root of n exists