The RNS string adds worldsheet Majorana fermions to the coordinate fields . The new fields are spinors on the worldsheet but vectors under the target Lorentz group; this distinction matters when interpreting their oscillator states. In a flat target, a convenient Lorentzian convention for the free gauge-fixed action is
where are two-dimensional gamma matrices. The bosonic and fermionic kinetic terms are related by worldsheet supersymmetry. Before fixing local worldsheet supersymmetry, one introduces a worldsheet gravitino along with the worldsheet metric. After superconformal gauge fixing, the residual matter constraints are the Virasoro constraints and the constraints generated by the superconformal current .
Each real worldsheet Majorana fermion contributes to the chiral central charge, while each coordinate contributes one. The reparameterization bc system contributes , and fixing local worldsheet supersymmetry also produces commuting superconformal ghosts of weights , with central charge . Thus
In light-cone gauge in string theory there are eight physical transverse coordinate fields and eight transverse worldsheet Majorana fermions.
On the doubled spatial interval of an open string, the two allowed fermionic periodicities are
They arise from the relative signs of the left-right fermion gluing conditions at the two ends. Thus the Ramond sector has integer-mode oscillators , including , and the Neveu–Schwarz sector has half-integer oscillators , , without zero modes. In either sector,
A closed string has independent left- and right-moving periodicities, giving four sector choices rather than two.
The Ramond zero-mode Clifford algebra is
Hence its ground states carry a Spinor representation of the Lorentz group. The zero-mode supercurrent constraint reduces on a ground state to the Dirac equation . In the Neveu–Schwarz sector the oscillator vacuum instead carries a scalar representation. Consequently the open string NS sector describes spacetime bosons, while the R sector describes spacetime fermions. Exciting a target-vector oscillator does not change this statistics assignment.
The string intercepts follow from the transverse zero-point energy. Per boson the integer-mode contribution is . Per fermion it is the negative of the corresponding half-sum. Since , the eight transverse pairs give
Thus , , and the open string mass formula is . This distinguishes the lowest states explicitly:
The supersymmetric GSO projection keeps odd oscillator fermion number in the NS sector. Defining so that the NS vacuum has , its projector is
It removes the scalar tachyon and keeps the massless vector. In the R sector, fermion parity contains the zero-mode chirality operator, so one may write
Here counts nonzero-mode fermionic excitations. On the ground states, this keeps one Majorana-Weyl spinor chirality: 16 real covariant components, or eight on-shell polarizations after the Dirac equation. The projected massless open-string states are an eight-polarization gauge vector and an eight-polarization gaugino. The compatible projected tower exhibits spacetime supersymmetry; unprojected worldsheet supersymmetry by itself did not eliminate the tachyon or equalize these massless counts.
For a closed string, both chiral zero-mode constraints must hold:
This shifted closed-string level matching is particularly important in the mixed sectors. The lowest states and their spacetime nature are as follows.
For type IIA superstring theory, the two R sector ground-state chiralities are opposite. The Ramond–Ramond potentials can be represented by , with transverse counts . The two mixed-sector gravitinos have opposite chiralities, and the ten-dimensional theory is nonchiral. For type IIB superstring theory, the two R sector chiralities agree; the Ramond–Ramond potentials are , with self-dual five-form field strength, giving . Its two gravitinos have the same chirality. Thus both projected type II theories have 128 massless bosonic and 128 massless fermionic polarizations and no tachyon, while their chiralities and form spectra differ.
If unoriented open strings are included in the complete theory, the supersymmetric example is type I string theory. Worldsheet orientation reversal projects the closed type IIB superstring theory spectrum and identifies the two mixed sectors; the surviving closed fields include the graviton, dilaton, a Ramond–Ramond potential , and one gravitino and dilatino. The open states form vector and gaugino multiplets with Chan-Paton factors; tadpole and anomaly cancellation select . This is an additional orientation projection, not part of the GSO projection itself. The heterotic string instead pairs one supersymmetric chiral side with a bosonic chiral side carrying an internal gauge sector; it does not have a Ramond choice on both sides.
Let be the compact coordinate, identified modulo . The closed string may wrap the circle:
Single-valued momentum eigenfunctions require , . These are the momentum and winding modes. Write the chiral zero-mode momenta as
The left-moving string oscillators will be tilded: , . This fixes the sign in compact-circle closed-string level matching.
Define the lower-dimensional mass by . The two closed-string physical-state Virasoro conditions, with bosonic string intercept one, are
Their average and difference derive the complete free bosonic string mass spectrum on the circle:
The allowed states have nonnegative integer oscillator levels and obey the Virasoro constraints within each chiral sector. Compactification has not removed oscillator polarizations; it has added quantized compact momentum and allowed winding while changing the lower-dimensional interpretation of those polarizations.
At large , the momentum and winding modes with have closely spaced momentum energies , whereas nonzero winding costs . At small their roles reverse. The precise equality is T-duality:
It leaves unchanged and reverses , and leaves the mass formula and closed-string level matching unchanged. On the string embedding map it reverses the right-moving part of . Therefore the small-radius spectrum is the large-radius spectrum of the dual theory, rather than a spectrum in which all charged states simply become heavy.
At a generic radius, the neutral level contains the lower-dimensional graviton, Kalb–Ramond field and dilaton, two gauge bosons from the mixed components of the metric and two-form, and the radius modulus of a string compactification. The two vector charges are the Cartan charges of .
Consider instead the following charged states:
Every state satisfies compact-circle closed-string level matching. The single noncompact string oscillator supplies a vector polarization. At the massless point, the level-one Virasoro constraint imposes transverse polarization and its physical null string state identifies polarizations differing by the noncompact momentum. Thus these are genuine lower-dimensional vector states. Their squared mass is
Thus four additional charged massless spin-one particles appear at
For the charges have , ; for they have , . This identifies the two pairs of charged roots.
The enhanced gauge group can be derived rather than just inferred from counting. At the self-dual circle, the chiral compact boson satisfies . The self-dual circle current algebra has currents
The exponentials have conformal weight . Free-boson contractions give the operator product expansions
They form the level-one SU(2) Lie algebra, and there is an independent right-moving copy. The string vertex operators and give the six massless vectors. Consequently
Changing gives the four charged vectors the mass found above, consistent with the radius deformation as a Higgs mechanism.
For completeness, the enhanced spectrum also has scalar fields. Using a compact rather than noncompact oscillator in the four singly excited charged families gives four scalars. At , closed-string level matching requires ; the mass equation then gives the four charges . These exceptional massless ground states of a bosonic circle give another four scalars. Together with the radius scalar they form nine scalars in the representation, in addition to the neutral dilaton. The ever-present neutral bosonic tachyon still has . The enhancement establishes the additional massless vectors, not stability of the entire bosonic vacuum.
The Polyakov action introduces an independent worldsheet metric :
Its redundancies are worldsheet diffeomorphisms and Weyl transformations. A Polyakov path integral over all metrics without dividing by this gauge volume would count physically equivalent configurations repeatedly. Fixing conformal gauge therefore needs the Faddeev-Popov determinant, not merely the substitution of a flat metric into the action.
After using the Weyl transformation to remove the trace of a metric variation, the infinitesimal worldsheet diffeomorphism ghost operator is
The Faddeev-Popov determinant of this operator is represented by anticommuting fields: a vector Faddeev-Popov ghost and a symmetric traceless Faddeev-Popov antighost field . In Euclidean coordinates their worldsheet ghost action is, up to a consistent overall normalization,
The two chiral copies of this bc system have conformal weights and anticommutators . They are auxiliary fields for the gauge determinant, not additional spacetime particles. Their use is different from the unwanted timelike negative-norm string states of covariant matter quantization.
The chiral holomorphic stress-energy tensor of the bc system is
Double contractions in its operator product expansion give the central charge of reparameterization ghosts . Equivalently, a fermionic bc system with antighost weight has , and gives . The free coordinate matter contributes . Thus the total worldsheet Weyl anomaly vanishes for the flat critical bosonic string theory precisely when
This statement assumes no additional matter or compensating Liouville field theory.
BRST symmetry expresses the gauge symmetry after gauge fixing by replacing its infinitesimal parameter with the Grassmann variable . In one chiral conformal patch, its graded action has the form
there is an analogous barred copy for a closed string. The Grassmann parity makes : the term from cancels the term from applying to , while the term with vanishes. The gauge-fixed chiral transformations are on shell when their conservation equations are used. At the quantum level, BRST nilpotence also tests the anomaly.
For example, an open string BRST charge can be written using the matter Virasoro generators as
Use the ghost oscillator vacuum and the corresponding oscillator normal ordering. In this convention the last term is in the critical theory. With a differently shifted ghost , the displayed intercept must be shifted consistently; one must not count the same shift twice. Squaring shows why both critical conditions are needed. Its anomalous terms, in this convention, have coefficients
The independent cubic and linear terms vanish at , . The equivalent chiral BRST current is , with its contour integral defining the charge.
The graded identity recovers the gauge constraints. In particular, on , BRST-closed imposes and . Physical states are classes in BRST cohomology,
at the appropriate ghost number: one for the usual open-string vertex and two for the closed-string vertex, with the closed-string zero-mode and closed-string level matching conditions also imposed. Since , an exact shift preserves closure. BRST Ward identities make exact insertions decouple from physical amplitudes and establish gauge independence. Together with the no-ghost theorem for the critical bosonic string, this explains how the auxiliary ghosts enforce gauge invariance while the physical spectrum retains positive norm.
The Nambu–Goto action is invariant under worldsheet diffeomorphisms. Its canonical Nambu–Goto phase-space constraints are
In conformal gauge, , so these become . Their smeared generators implement the residual conformal transformations rather than independent propagating degrees of freedom. Classically their Fourier modes form the classical Virasoro constraint algebra. Quantization promotes them to the Virasoro algebra, and its constraints select the physical string states from the indefinite covariant Fock space.
For clarity, start with a Neumann boundary condition at both ends of an open string, . Its open-string mode expansion is
Canonical quantization gives the string oscillator relations
With , the worldsheet stress-energy tensor obeys
Substituting the open-string mode expansion into this quadratic expression derives the Virasoro generators:
The colons mean normal ordering, placing the negative-mode creation operators to the left. The string level operator increases by when an oscillator is added.
Using the commutator once gives
Applying this to the quadratic expression for produces , together with the double-contraction Virasoro central extension. To determine its coefficient, take and evaluate on a zero-momentum oscillator vacuum. Only the creation pairs with contribute, giving
Here is the target spacetime dimension; the timelike free boson also contributes one to the central charge, since a double contraction contains two metric factors. Thus
This derives both the Virasoro generators and their quantum anomaly.
In old covariant string quantization, the physical-state Virasoro conditions for an open string are
where is the normal-ordering constant of a string. Requiring all positive and negative modes to annihilate a state would contradict the nonzero Virasoro central extension; the positive-mode prescription is the appropriate covariant subsidiary condition. The zero-mode equation gives the open bosonic string mass spectrum,
For a closed string, there are two commuting Virasoro algebras. With uncompactified zero modes, and . Imposing both positive-mode conditions and both zero-mode conditions gives the closed-string level matching and .
Covariance initially retains the timelike string oscillators. For example, has negative norm because . Its existence in the unconstrained space is not an inconsistency if it is absent from the physical quotient. The no-ghost theorem for the critical bosonic string states that, at and , the inner product on physical string states at ordinary nonzero momentum is positive semidefinite. After quotienting physical null string states, this physical space is represented by the 24 positive-norm transverse string oscillators.
A spurious string state has the form . Its inner product with every physical string state vanishes, by and . Whenever such a state is itself physical, it is a null string state and represents a gauge redundancy, not an extra polarization. Consequently the physical quotient has no negative-norm propagating states, and agrees with light-cone gauge in string theory. This is the significance of the theorem; a proof is not needed here. It does not eliminate the bosonic tachyon, whose negative mass squared is distinct from negative norm, nor does it remove the auxiliary worldsheet ghost fields used in gauge fixing.
Use Minkowski spacetime with signature , and write the string tension as . If is the string embedding map, its induced worldsheet metric is . The Nambu–Goto action is
The first variation uses and therefore gives
An integration by parts yields the bulk Nambu–Goto equations of motion and the endpoint term:
For a closed string, periodicity cancels the endpoint term. For a freely moving open string, arbitrary endpoint variations require zero momentum flux, which is the free-end string boundary condition.
Choose orthogonal conformal coordinates on the nondegenerate part of the worldsheet, so that and . The Nambu–Goto equations of motion then become a wave equation, with the accompanying Virasoro constraints:
Here a dot and a prime mean and . The last two equations are essential: a solution of the wave equation alone need not be a relativistic fundamental string motion.
For a free-ended open string, take and , and set
with the other coordinates constant. Every component satisfies the wave equation, and
Moreover at both endpoints, giving the Neumann boundary condition. At fixed target time , the spatial image is the straight segment
Thus its angular velocity is . The speed at coordinate is , so the endpoints have the null motion of a free string endpoint. The induced worldsheet metric degenerates there; the conserved densities below have finite limits, so the endpoint degeneracy causes no divergent charge.
In these coordinates . The target-space Noether charges of a string give the energy, momentum and angular momentum:
Since this is the centre-of-momentum frame, the rest mass is . Eliminating proves the free-ended straight-string Regge relation:
A spacetime Lorentz transformation of the solution changes its frame, not this rest-frame relation.
There is also a folded closed string version: use the same formula over . The spatial segment is then covered twice, with folds at , and the closed-string mode expansion is periodic. Each charge is twice its open string value, so
The folds also have degenerate induced metric and are understood through the finite canonical densities or a limiting smooth motion. The two classical Regge trajectories have different slopes because the closed string has two coincident branches. No quantum string intercept enters this classical calculation.
Let be Hermitian color generators with , and take . In explicit spinor, color and flavor indices the massless kinetic term is
The full Quantum chromodynamics Lagrangian also has . A local color gauge transformation acts as
Thus and the kinetic term is gauge-invariant.
Since the gauge coupling is independent of flavor and chirality, the classical internal global transformations are , , with constant flavor matrices . Equivalently these consist of , a common vector phase, and a singlet axial phase , modulo shared discrete factors. The vector phase measures quark number, or baryon number after dividing its generator by three. The nonsinglet axial rotations may be written . At the quantum level the singlet axial phase is anomalous; the exact continuous internal symmetry is up to those discrete identifications. The usual spacetime Poincaré transformations also leave the theory invariant; the massless classical theory has dilation symmetry, which is broken by quantum running. These distinctions are massless two-flavor QCD symmetries.
At equal time the canonical relations, including all indices, are
No constraint removes any of the four spinor components of the Dirac field in these equal-time relations.
To evaluate the axial charges, first prove the elementary bilinear identity. For any constant matrix on the spinor/flavor space,
For example ; the spatial delta function collapses the integral. This proves the charge action directly from the canonical anticommutation relations.
For , anticommutation of and then gives
The charge is an even operator, so its commutator obeys the ordinary product rule. Consequently
Similarly, using and the Pauli matrices identity ,
Composite fields can be defined with a common symmetry-preserving regulator; these nonsinglet identities have no color axial anomaly. This is the nonsinglet axial charge algebra of quark densities.
If every conserved axial charge left the vacuum invariant, the vacuum expectation of each such commutator would vanish. A nonzero quark chiral condensate instead makes for . It therefore diagnoses spontaneous breaking of the nonsinglet chiral symmetry. In the massless two-flavor limit, the observed hadronic pattern is described by , with three Goldstone boson modes identified with the pions. The vacuum condensate is a dynamical property of QCD, not something derivable from the canonical algebra alone. The light pion multiplet and absence of parity-degenerate light hadrons support this pattern; the singlet axial anomaly prevents interpreting an additional singlet mode as a fourth Goldstone boson.
For equal nonzero masses, add . It is invariant under local color gauge transformations and common vector flavor rotations, but not under independent left/right rotations. The exact continuous flavor symmetry becomes . The kinetic term and canonical anticommutators are unchanged, and the two proved equal-time commutators still hold. The charges, however, are no longer conserved:
The first equation follows from the massive Dirac equations, or the last from and . This is the flavor-nonsinglet axial Ward identity with equal quark masses. The pions become pseudo-Goldstone bosons with , rather than exact massless modes. To leading order, in the convention , . The condensate persists for small masses, but the symmetry is now explicitly broken, so the exact-symmetry Goldstone argument is replaced by an approximate one. The singlet anomaly and gauge symmetry are unaffected.
Take metric and write . The outgoing electron and antineutrino momenta are and . Up to an irrelevant overall phase, the amplitude is
A fermion spin sum gives
Anticommuting through the massless momentum and gamma matrix, and using , reduces the trace to twice the four-gamma trace minus twice its counterpart. In particular its symmetric part is
The epsilon-tensor part is antisymmetric and contributes neither to the unpolarized polarization sum nor to the real linear polarization used below. There is no extra factor for selecting the neutrino helicity: the chiral vertex has already done so.
The external massless equations imply for , so . With , averaging over the three initial spin states gives
Indeed . This is a massive-vector spin average, not an average over the final spins.
In the rest frame, eliminating the momentum delta function and integrating the remaining radial delta function reduces the two-body Lorentz-invariant phase space to . Therefore
This derives the massless leptonic W decay width without invoking a precomputed decay formula.
For the specified polarization there is no initial spin average. Put , and . The contraction selects
It follows that
Here . The total rate agrees with the spin-averaged result, but its normalized polar distribution is instead of the isotropic unpolarized distribution. This is polarized massless leptonic W decay.
Use and . For each generation , the leptons are
Both are color singlets. The conjugate antilepton fields transform in the conjugate representations and have opposite hypercharge; they are already included by the conjugate fields in the Lagrangian. The two components of have electric charges , and has charge . There is no right-handed neutrino representation in this field content. These assignments use the electroweak representation and hypercharge table in the same hypercharge normalization as the scalar doublet.
For a doublet of hypercharge , define
The term is absent for a singlet. Under the local transformation , the gauge fields transform so that . Consequently the required gauge-covariant kinetic terms are
The fields of definite chirality are defined with . Since has hypercharge , the Yukawa interaction
is invariant: its hypercharges add to zero, and contracts the two doublet indices. A bare charged-lepton mass violates these assignments. No renormalizable neutrino Yukawa term is available without a right-handed neutrino. A gauge-invariant scalar potential depending on can select the nonzero vacuum, without altering these kinetic and Yukawa constructions.
There is an explicit local unitary gauge transformation whenever :
Thus, with the real field ,
This proves the polar coordinates for the electroweak Higgs doublet constructively. The gauge choice is local about the nonzero vacuum; it need not be nonsingular at zeros of the doublet.
The three identical-generation kinetic terms permit unitary flavor changes. A singular value decomposition gives with . Rotate both components of each left doublet together, and the right singlets independently. In this basis,
The left/right cross terms combine into this Dirac mass. Since the neutrinos have no mass matrix, their simultaneous left rotation preserves a diagonal charged current. This is charged-lepton Yukawa matrix diagonalization; the neutrinos remain massless in the stated renormalizable model.
The scalar kinetic term gives
Introduce and . The combinations , , and therefore diagonalize the quadratic terms:
The factor applies to the real neutral field, not to the complex charged field. The massless photon corresponds to the unbroken generator , which annihilates the vacuum. This gives the electroweak doublet gauge-boson mass matrix and its diagonal spectrum.
Absorb the gauge coupling into the connection and use . The anti-Hermitian generators make unitary for real parameters. With a matter field transforming as , require . Applying both sides to an arbitrary field gives
Expanding and yields the infinitesimal gauge transformation with an anti-Hermitian connection
The adjoint covariant derivative is . In components,
The trace normalization makes the structure constants totally antisymmetric: and cyclicity of the trace supply antisymmetry in the remaining indices. Replacing by reverses the infinitesimal parameter convention and gives ; mixing the two conventions would change the ghost operator incorrectly. The trace normalization also gives the invariant quadratic form .
A gauge-invariant functional integral counts all representatives along each gauge orbit. The gauge condition selects a representative, and its delta functional enforces that selection. Assume a local patch where each orbit intersects the gauge slice once and the gauge-condition derivative has no residual zero modes. Define
Changing the orbit integration variable from to gives
Insert this Faddeev-Popov gauge-orbit identity into the unfixed path integral. The action and measure are invariant under a change , so integration over factors out as the gauge-group volume. Dividing by that redundant volume leaves the fixed integral and its Faddeev-Popov determinant. In a perturbative patch with fixed determinant sign or phase, the absolute value is replaced by the oriented determinant, up to a field-independent normalization:
Here . This is a functional determinant of the gauge-condition Jacobian, not an arbitrary extra weight. The local invertibility assumption matters: residual gauge transformations or multiple orbit intersections, described by the Gribov ambiguity, prevent treating this derivation as a global unique gauge slice without further qualifications.
Both extra factors can be incorporated into an enlarged action. An auxiliary real field Fourier-represents the delta functional, while a Grassmann Gaussian integral over independent Faddeev-Popov ghost fields represents the determinant:
Thus the original fixed integral can be written with action and ordinary integration over the extra fields, with no explicit delta functional or determinant. The anticommuting fields give a determinant rather than the inverse determinant obtained from commuting Gaussian fields.
For the usual Gaussian family of gauges, add and integrate out . Completing the square produces
This is Gaussian gauge fixing with an auxiliary field; equivalently one averages the condition with its Gaussian weight. Gauge-invariant observables are unchanged apart from normalization. For the Lorenz gauge , the chosen transformation convention gives . The ghost action is , or after integration by parts. The dependence of on accounts for the ghost interactions.
The renormalization-group beta function is
At one-loop accuracy, integrating gives
For a positive weak coupling and , the coupling increases toward the ultraviolet and decreases toward the infrared. Extrapolation predicts a Landau pole at , where the weak-coupling approximation fails. For , the positive coupling decreases toward zero as : this is asymptotic freedom. Toward the infrared it instead grows, so perturbation theory eventually fails. The zero coupling is a fixed point. If negative couplings are allowed mathematically, their direction of motion still satisfies , but the side on which the pole occurs reverses: for example approaches zero from below in the ultraviolet. Negative quartic coupling does not give a stable scalar potential.
For the loop calculation use , , and the PDF's vertex normalization . A Feynman parameter combines the denominators. Shift the Euclidean loop momentum to , and put . The regulated integral without the vertex prefactor is
Using Schwinger parameterization, , and the momentum Gaussian integral gives
For , , while the other factors have finite limits. Thus the massive scalar bubble pole in four dimensions is
This pole is independent of external momentum and mass and hence is canceled by a local quartic counterterm. There are three channels, corresponding to the three pairings of four external momenta. Their poles add, and a counterterm vertex cancels the sum when
This is the total counterterm for the three four-point diagrams specified here. The minimal subtraction scheme removes their poles only. The one-loop tadpole is momentum independent and requires a mass counterterm, but does not produce one-loop wave-function renormalization; that is why it does not alter this one-loop coupling calculation.
The dimensionful bare coupling is therefore
Its independence of gives
Putting , the finite coefficient of is . Thus
This is the one-loop quartic scalar beta function, positive for nonzero weak real coupling. The factors would look different with a regulator , but the four-dimensional beta function is unchanged. For massless theory take nonexceptional external momentum, or an infrared regulator, so an infrared singularity is not confused with the ultraviolet pole.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact