complexType "TheoremLike"

Namespace:	{no namespace}
Content:	complex, 6 attributes, 24 elements
Defined:	globally in pretext.xsd; see XML source
Includes:	definition of 1 element
Used:	at 8 locations

XML Representation Summary

<...

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

Content:

</...>

Content Model Elements (24):

idx,

image (defined in ImageCode group),

image (defined in ImageRaster group),

list,

listing,

p (defined in Paragraph group),

pre,

program,

proof,

sage,

sbsgroup (defined in SideBySideGroup group),

sidebyside (defined in SideBySide group),

statement (defined in Statement group),

table,

tabular,

title (defined in Title group),

video

All Direct / Indirect Based Elements (8):

algorithm, claim, corollary, fact, identity, lemma, proposition, theorem

Known Usage Locations

As direct type of elements (8):

algorithm, claim, corollary, fact, identity, lemma, proposition, theorem

Type Definition Detail

Type Derivation Tree

MetaDataTitleCreatorOptional (extension)

TheoremLike

XML Source (see within schema source)

<xs:complexType name="TheoremLike">

<xs:complexContent>

<xs:extension base="MetaDataTitleCreatorOptional">

<xs:choice>

<xs:group maxOccurs="unbounded" ref="BlockStatement"/>

<xs:sequence>

<xs:group ref="Statement"/>

<xs:element maxOccurs="unbounded" minOccurs="0" ref="proof"/>

</xs:sequence>

</xs:choice>

</xs:extension>

</xs:complexContent>

</xs:complexType>

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

proof

Type:

anonymous complexType, complex content

XML Source (see within schema source)

<xs:element maxOccurs="unbounded" minOccurs="0" ref="proof"/>

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