OpenMath Content Dictionary: logic1p

Canonical URL:
CD File:
logic1p.ocd
CD as XML Encoded OpenMath:
logic1p.omcd
Defines:
where
Date:
2002-10-04
Version:
0 (Revision 1)
Review Date:
2017-12-31
Status:
experimental

  Author: Nobuki Takayama

where

Description:

The word "where" is often used in mathematical expressions to set variables or to say side conditions. CDname logic1.implies can be used for these purposes, but "where" will be more intuitive and more friendly expression for formula book writers.

Commented Mathematical property (CMP):
$ x^n \mbox{where} n=10
Formal Mathematical property (FMP):
where ( λ n . x n , n = 10 )
Signatures:
sts


[First: where] [Last: where] [Top]