element <proof> (global)

Namespace:	{no namespace}
Type:	anonymous complexType
Content:	complex, 5 attributes, 22 elements
Defined:	globally in pretext.xsd; see XML source
Includes:	definition of 1 element
Used:	at 3 locations

XML Representation Summary

<proof

xml:id	=	xs:anySimpleType
label	=	xs:anySimpleType
component	=	xs:anySimpleType
xml:base	=	xs:anySimpleType
xml:lang	=	xs:anySimpleType

Content:

</proof>

Content model elements (22):

idx,

image (defined in ImageCode group),

image (defined in ImageRaster group),

list,

listing,

p (defined in Paragraph group),

pre,

program,

sage,

sbsgroup (defined in SideBySideGroup group),

sidebyside (defined in SideBySide group),

table,

tabular,

title (defined in Title group),

video

Included in content model of elements (21):

algorithm,

answer,

appendix (in backmatter in article),

appendix (in backmatter in book),

article,

chapter,

claim,

conclusion (defined in ConclusionDivision group),

corollary,

fact,

hint (defined in Hint group),

identity,

introduction (defined in IntroductionDivision group),

lemma,

paragraphs (defined in Paragraphs group),

proposition,

section,

solution (defined in Solution group),

subsection,

subsubsection,

theorem

Known Usage Locations

Within global complexTypes (1):

TheoremLike [ref]
Within model groups (2):

BlockDivision [ref], BlockSolution [ref]

XML Source (see within schema source)

<xs:element name="proof">

<xs:complexType>

<xs:sequence>

<xs:group ref="MetaDataTitleOptional"/>

<xs:choice maxOccurs="unbounded">

<xs:group ref="BlockStatement"/>

<xs:element ref="case"/>

</xs:choice>

</xs:sequence>

<xs:attributeGroup ref="MetaDataTitleOptional"/>

</xs:complexType>

</xs:element>

Content Element Detail (all declarations; defined within this component only; 1/22)

case

Type:

anonymous complexType, complex content

XML Source (see within schema source)

<xs:element ref="case"/>

XML schema documentation generated with FlexDoc/XML 1.12.5 using FlexDoc/XML XSDDoc 2.9.2 template set