-
Notifications
You must be signed in to change notification settings - Fork 8
Paper library
The built-in paper
library is written in Quarkdown and adds support to typical elements of scientific papers in a LaTeX fashion.
The library features the following components:
- Abstract
- Titled, numbered blocks:
- Definitions
- Lemmas
- Theorems
- Proofs
Note
The supported languages are aligned to the ones supported by Quarkdown's core: currently English and Italian. See Built-in localization for further information.
The first step is to import the library:
.include {paper}
.abstract
can generate the layout for a titled abstract block. Its content goes in its block argument:
.abstract
This is my *abstract*! Here goes the summary of the document.
.loremipsum
This is not part of the abstract, instead.

The alignment of the title defaults to center and can be changed via .abstractalignment {start|center|end}
:
.abstractalignment {start}
.abstract
This is my *abstract*! Here goes the summary of the document.
.loremipsum

Any of the following blocks can be created:
- Definition via
.definition
- Lemma via
.lemma
- Theorem via
.theorem
- Proof via
.proof
All the mentioned functions take one block argument which defines the content:
.definition
Let $ \Delta x $ be an object's change in position over a time interval $ \Delta t $,
then the average velocity is defined as $ v = \frac {\Delta x} {\Delta t} $.

The default title suffix is .
(dot) and can be customized via .paperblocksuffix {suffix}
:
.paperblocksuffix {:}

Defining a numbering format results in the blocks of that type to be numbered.
The format names are plural: definitions
, lemmas
, theorems
, proofs
.
.numbering
- definitions: 1.a
- lemmas: i
...
.definition
.loremipsum
.lemma
.loremipsum
.definition
.loremipsum

Proofs also feature a special end-of-proof character, which defaults to ∎
.
.theorem
.loremipsum
.proof
.loremipsum

The end-of-proof can be customized via .proofend {string}
:
.proofend {😎}

- Figures
- Image size
- TeX formulas
- Table caption
- Decorative headings
- Alerts (quote types)
- Quotation source
- Page breaks
- Text symbols (text replacement)
- Syntax of a function call
- Declaring functions
- Dynamic typing
- Localization
- Including other Quarkdown files
- Importing external libraries
- Document metadata
- Theme
- Page format
- Page margin content
- Page counter
- Automatic page break
- Numbering
- Table of contents
- Stacks (row, column, grid)
- Container
- Align
- Clip
- Box
- Collapsible
- Whitespace
- Variables
- Optionality
- Math
- Conditional statements
- Loops
- Let
- Destructuring
- String manipulation
- Generators
- String
- Number
- Markdown content
- Boolean
- None
- Enumeration entry
- Iterable
- Dictionary
- Range
- Lambda
- Size(s)
- Color
- Dynamic
- Paper: abstract, definitions, theorems, and more