Probing the era of giant collisions: millimeter observations of the HD 166191 system
Abstract: We present non-simultaneous ALMA band 7 and SMA observations of the HD 166191 disk, which was recently thought to have a collision in its terrestrial planet zone. Both observations detect dust continuum emission and the ALMA observations detect the 12CO J=3-2 line from the circumstellar disk. We do not detect SiO, a potential indicator of giant collisions, but place a limit on the total SiO mass in the system. Unlike previously observed in the infrared, we do not find evidence for variability at millimeter wavelengths when comparing the ALMA continuum observations from 2024 to the pre-collision SMA observations from 2014. We perform modeling of the CO and continuum visibilities and find that both the CO and dust are marginally spatially resolved and are contained to within 20 au from the central star. The modeling of the CO suggests that the outer regions of the disk are gas rich, although further observations are needed to confirm the total gas mass. The evolutionary state of this system has been debated in the literature, and our observations, while not definitive, are generally consistent with the idea that this disk is similar to an evolved protoplanetary or transition/hybrid disk. This could suggest that collisions in the terrestrial planet zone of HD 166191 are occurring while the disk is in a transitional phase, where the inner few au are depleted of gas. This makes HD 166191 an important object for understanding the transition between protoplanetary and debris disks and the stages at which collisions occur.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Explain it Like I'm 14
What this paper is about
This paper is basically a handy guide for writing science and math using LaTeX, the “coding language” many scientists use to create clean-looking papers. It shows lots of special symbols (like Greek letters, arrows, math signs, and accented characters) and the exact LaTeX commands you type to make them appear. It focuses on symbols commonly used in astronomy and math, using styles from AAS (American Astronomical Society) and AMS (American Mathematical Society).
What the authors wanted to do
In simple terms, the paper aims to:
- Show which special symbols are available.
- Teach how to type each symbol using a short LaTeX command.
- Organize symbols into easy-to-browse groups (like letters, operators, arrows).
- Help students and scientists write equations and scientific text correctly and consistently.
How they did it (the approach)
Instead of doing experiments, the authors created a reference “catalog.” Think of it like a dictionary or a cookbook:
- On one side you see the symbol (the “finished dish”).
- Next to it, you see the recipe—the LaTeX command you must type (for example, type
\alphato get ).
They group the symbols into categories so you can quickly find what you need:
- Accents in normal text (like putting a hat or dot over a letter):
\hat{a}gives ,\dot{a}gives . - National or special letters (like
\ae→ æ,\AA→ Å). - Greek and Hebrew letters for math (
\alpha→ ,\Omega→ ). - Math operators (actions like plus, times, dot, sums):
\times→ ,\sum→ . - Relations (comparisons and connections):
\leq→ ,\approx→ . - Arrows (used to show direction or mapping):
\rightarrow→ ,\Longleftrightarrow→ . - Big “variable-sized” symbols that grow in display math:
\int→ ,\prod→ . - Delimiters (brackets and braces):
\langle→ ,\rangle→ . - Function names (standard math words typeset properly):
\sin,\log,\max.
They also explain “text mode” versus “math mode”:
- Text mode is for regular sentences.
- Math mode (anything inside
or) is for equations; that’s where most math symbols live.
What they found (the main results) and why it matters
The paper shows that LaTeX already has a huge, well-organized collection of symbols ready to use, including:
- Every common Greek letter and its variants ( vs. , vs. ).
- Many kinds of arrows and relation signs for advanced math and logic.
- Clean ways to write sums, products, integrals, and big operators that look good in equations.
- Properly formatted function names like
\sinand\logso your math looks professional. - Accents and special characters for names, places, and words from different languages.
This matters because clear symbols = clear communication. When scientists around the world use the same commands to produce the same symbols, their papers are easier to read, share, and check.
Why this is useful (implications and impact)
- It saves time. Instead of guessing how to type a symbol, you can look it up and get it right the first time.
- It keeps papers consistent. Journals like those from the AAS expect a certain style; using these commands helps you meet those standards.
- It helps learning. Students can quickly find how to write math correctly in LaTeX, which is a valuable skill for school and future research.
- It supports global science. Special letters and accents let authors write names and terms accurately, showing respect for different languages and improving clarity.
In short, this “symbol map” makes writing math and science in LaTeX simpler, cleaner, and more reliable for everyone—from beginners to experts.
Knowledge Gaps
Unresolved Knowledge Gaps, Limitations, and Open Questions
The document is primarily a catalog of LaTeX/AMS/AAS symbols rather than a research study, and it leaves many practical and technical questions unaddressed. The following concrete gaps could guide future work:
- Scope limitation: Provides symbol listings without guidance on when and why specific symbols should be used in astronomy manuscripts (e.g., conventions for angles, units, astrophysical constants, chemical bonds, or set-theoretic vs logical symbols).
- Package and engine compatibility: No matrix or notes on required packages and versions (e.g., amsmath, amssymb, AASTeX 6.x/7.x), nor on engine differences (pdfLaTeX vs XeLaTeX vs LuaLaTeX) and the effect on glyph availability and spacing.
- Unicode input and modern workflows: No guidance on mixed workflows using Unicode characters,
unicode-math, andfontspec, or on input encoding (UTF-8) best practices and their interactions with legacy commands. - HTML/MathJax and XML conversion: Absent testing or mapping of these commands to MathJax, LaTeXML, Pandoc, or JATS XML for web delivery and archiving (e.g., how ${\sun}$, ${\earth}$, and arcminute/arcsecond commands render in HTML).
- Accessibility and screen-reader semantics: No recommendations for semantic macros, alt text, or tagged PDF practices so that symbol-heavy math is accessible (e.g., NVDA/JAWS/VoiceOver compatibility).
- Journal production constraints: Lacks guidance on which commands are permitted or discouraged by AAS/IOP production pipelines and how to handle symbols that break copyediting or typesetting.
- Error and corruption checks: The tables appear to include corrupted insertions (e.g., long prompt text within tables), stray placeholders (e.g., “{paper_content}”), and a visible “%FIXME” comment—there is no QC procedure to validate all commands compile cleanly in AASTeX.
- Completeness of symbol coverage: Omits many domain-relevant notations (e.g., SI/astronomical units, vectors/tensors, bold math, over/under accents for time derivatives beyond dots, advanced arrows/relations) and does not state inclusion criteria or known omissions.
- Domain-specific conventions: No prescription for common astronomy typographic issues (e.g., prime vs arcminutes, double-prime vs arcseconds, degree vs hour angle, use of $\arcsec$/$\arcmin$ vs ’/″/°, or when to prefer \textdegree).
- Units and numbers: No integration with
siunitxor AASTeX-recommended unit macros for consistent typesetting of units (e.g., pc, AU, Jy, erg s, arcsec) and spacing rules. - Solar/Earth symbols usage: Provides $\sun$ and $\earth$ but no guidance on when to use symbols vs textual forms (e.g., $M_{\sun}$ vs “solar mass”) and how to typeset derived quantities consistently (e.g., , ).
- Vector/matrix and boldface policy: No recommendations on \vec vs \boldsymbol vs
bmvs unicode-math bold, nor on font choices for vectors, operators, and constants (upright vs italic Greek). - Font coverage and rendering: No assessment of which fonts (e.g., STIX Two, Latin Modern, Asana, XITS) reliably contain listed glyphs and how font choice affects output across PDF/HTML.
- In-text vs math-mode usage: Lacks rules and examples for using symbols in running text (e.g., text-mode degree vs math-mode, punctuation/spacing around symbols, thin spaces \,).
- Chemical notation: Lists \sbond, \dbond, \tbond but lacks molecular formatting guidance (e.g., chemistry packages, alignment of bonds, and astrophysical chemistry conventions).
- Internationalization: Lists “national symbols” but does not address language packages (
babel/polyglossia), hyphenation, or right-to-left scripts in figure labels and math. - Deprecation and alternatives: No notes on deprecated commands (e.g., \bf) vs recommended alternatives (\textbf, \symbf), nor on package conflicts and safer modern substitutes.
- Cross-referencing and semantic macros: No suggestion to use semantic macros (e.g., \ion for ions, \Angstrom, \AASTeX macros for facilities/objects), or how to encode math for machine readability and indexing.
- Example-driven guidance: No minimal working examples showing correct usage in realistic astrophysical equations, tables, and figure captions (e.g., orbital elements, radiative transfer, error bars).
- Production validation: No automated test harness (e.g., CI) to compile the tables across engines and AASTeX versions to catch regressions in symbol availability and spacing.
- Maintenance and governance: No plan for versioning, community contributions, or alignment with upstream AASTeX/AMS/LaTeX changes, nor a changelog documenting additions/removals.
- Licensing and provenance: No statement of sources, licensing of the symbol listings, or credit to AAS/AMS/LaTeX packages used—complicating reuse and updates.
Practical Applications
Summary
The provided “paper” is a comprehensive catalog of AASTeX/AMS LaTeX symbols, accents, operators, relations, arrows, delimiters, and function-name macros used to typeset mathematical and scientific content (especially in astronomy/astrophysics and related disciplines). Its practical value lies in standardizing notation, ensuring publisher compatibility, and enabling tooling around authoring, conversion, accessibility, and quality control.
Below are the practical applications grouped by deployment horizon.
Immediate Applications
These can be deployed now with existing LaTeX distributions and publishing workflows.
- Manuscript preparation that conforms to journal standards
- Sectors: academia, scholarly publishing
- Tools/Products/Workflows: Overleaf templates with AASTeX symbol palettes; VS Code/TeXstudio snippet packs; author checklists referencing approved macros; lab wikis embedding the symbol catalog
- Assumptions/Dependencies: TeX Live/MacTeX installed; AASTeX class (e.g., aastex631), amsmath, amssymb; journal accepts these macros and symbol set; fonts support for special symbols
- Copyediting and production quality control (QC) for mathematical notation
- Sectors: scholarly publishing, preprint servers, institutional repositories
- Tools/Products/Workflows: lints (ChkTeX, lacheck) configured to flag nonstandard macros; pre-commit hooks; CI pipelines that normalize or replace disallowed symbols with approved AAS/AMS equivalents
- Assumptions/Dependencies: Access to LaTeX sources; agreed “allowed symbol” whitelist; editorial style guides referencing this catalog
- Reliable LaTeX-to-HTML/MathJax/KaTeX conversion
- Sectors: software, web publishing, digital libraries
- Tools/Products/Workflows: Pandoc filters or LaTeXML configurations adding direct macro→MathML/Unicode mappings; KaTeX/MathJax extensions enabling AAS macro coverage
- Assumptions/Dependencies: Up-to-date converters; comprehensive macro mapping tables; browser font support for Unicode symbols
- Accessibility enhancements (screen readers, alt text, math speech)
- Sectors: accessibility, education, publishing
- Tools/Products/Workflows: Symbol-to-Unicode and symbol-to-speech-rule dictionaries; MathJax accessibility extension configurations; automated alt-text generation for inline math using the macro catalog
- Assumptions/Dependencies: WCAG/Section 508 compliance targets; consistent macro usage; available speech rules for all listed symbols
- Instructor and student reference materials for LaTeX training
- Sectors: education (STEM courses, graduate training), research groups
- Tools/Products/Workflows: Printable cheat sheets; interactive symbol explorers; onboarding modules for new students and TAs
- Assumptions/Dependencies: Basic LaTeX familiarity; course adoption of AAS/AMS packages
- IDE/editor productivity features (autocomplete and live validation)
- Sectors: software tools, edtech, R&D teams
- Tools/Products/Workflows: Editor plugins that autocomplete valid AAS/AMS symbols; hover tooltips with rendered previews; “quick fix” suggestions for deprecated or nonstandard macros
- Assumptions/Dependencies: Editor plugin ecosystems (VS Code, TeXstudio, Sublime Text); symbol list kept in sync with class/package updates
- Corporate and lab documentation standardization
- Sectors: engineering, energy, finance, data science
- Tools/Products/Workflows: Internal LaTeX style guides adopting this catalog; report templates ensuring consistent notation across teams
- Assumptions/Dependencies: Teams use LaTeX for technical reports; buy-in on standardized symbol usage
- Preprint normalization for repositories (e.g., arXiv)
- Sectors: scholarly infrastructure
- Tools/Products/Workflows: Macro-normalization scripts that replace custom user macros with standard AAS/AMS equivalents to improve downstream rendering and indexing
- Assumptions/Dependencies: Access to submission sources; clear canonical mapping for each symbol
Long-Term Applications
These require further research, scaling, or broader community adoption.
- Semantic math pipelines and equation understanding
- Sectors: software, academic search, AI
- Tools/Products/Workflows: Macro-to-Content-MathML/semantic tags; knowledge graphs linking symbols to mathematical objects; equation-aware search engines across astrophysics corpora
- Assumptions/Dependencies: Community standards for symbol semantics; robust macro normalization; high-quality training corpora
- Equation similarity, plagiarism detection, and cross-notation retrieval
- Sectors: academia, publishing tech, research integrity
- Tools/Products/Workflows: Engines that map different but equivalent notations to common representations; detectors that flag reused or minimally altered equations
- Assumptions/Dependencies: Notation equivalence mapping; labeled datasets; acceptance of approximate matching in editorial workflows
- Automated notation standardization at scale across journals and publishers
- Sectors: scholarly publishing, standards bodies
- Tools/Products/Workflows: Cross-journal “macro governance” services; batch converters harmonizing legacy LaTeX into standardized symbol sets for archives
- Assumptions/Dependencies: Policy alignment among publishers; change management for authors and editors
- Advanced accessibility (speech, braille, and interactive math)
- Sectors: accessibility, education tech
- Tools/Products/Workflows: Expanded speech rule engines and braille translation tables covering the full symbol catalog; interactive assistive overlays for navigating equations
- Assumptions/Dependencies: Collaboration with accessibility standards bodies; testing across screen readers and devices
- Next-generation WYSIWYG and collaborative editors with domain-specific palettes
- Sectors: edtech, productivity software
- Tools/Products/Workflows: Web editors that present AAS/AMS palettes, enforce valid macro sets, and export to LaTeX/MathML/HTML seamlessly
- Assumptions/Dependencies: Sustained product development; UX research with scientists; full fidelity round-tripping to LaTeX
- LaTeX-aware OCR and PDF remediation that leverages the symbol catalog
- Sectors: digitization, libraries, AI
- Tools/Products/Workflows: OCR models trained with symbol lexicons to improve math recognition; automated PDF tagging and remediation for equations
- Assumptions/Dependencies: Training datasets with aligned LaTeX ground truth; licensing for content used in training
- AI-assisted authoring and review for equations
- Sectors: AI tooling, academia, industry R&D
- Tools/Products/Workflows: Assistants that suggest standard macros, check symbol consistency, propose alternative notations, or auto-insert function names (e.g., sin, lim) with correct macro usage
- Assumptions/Dependencies: Reliable LLM grounding on symbol standards; editor integration; user trust and oversight
- Policy harmonization and standards development
- Sectors: publishing policy, standards (e.g., NISO), funders
- Tools/Products/Workflows: Cross-publisher guidelines that formalize a shared core symbol set and macro behavior; metadata schemas capturing notation usage
- Assumptions/Dependencies: Multi-stakeholder governance; incentives for adoption; backward compatibility
- Compliance automation for math accessibility (WCAG/Section 508) at scale
- Sectors: publishing, government, higher education
- Tools/Products/Workflows: Pipelines that transform LaTeX math to accessible HTML/MathML with alt text and navigation structure automatically
- Assumptions/Dependencies: High macro coverage; reliable rendering across platforms; audit and certification processes
Notes on feasibility across all applications:
- Core dependencies include a current TeX distribution (TeX Live/MacTeX), AASTeX class, AMS packages, compatible fonts, and consistent macro usage by authors.
- Cross-platform rendering depends on robust Unicode mapping, MathJax/KaTeX support, and browser/font availability.
- Community adoption (journals, repositories, tool vendors) significantly affects standardization and long-term impact.
Glossary
- AAS: American Astronomical Society; in AASTeX, a set of specialized macros for astronomical notation. Example: "Additional AAS\ symbols"
- Aleph: Hebrew letter used to denote transfinite cardinal numbers in set theory. Example: " & \verb\"\aleph\""
- Amalgam: Disjoint union operator used in algebra and category theory. Example: " & \verb\"\amalg\""
- AMS: American Mathematical Society; provides extended mathematical symbol packages. Example: "AMS binary operators (math mode)"
- Arcdegree: Unit of angular measure equal to 1/360 of a circle. Example: "\arcdeg & \verb\"\arcdeg\", \verb\"\degr\""
- Arcminute: Unit of angular measure equal to 1/60 of a degree. Example: "\arcmin & \verb\"\arcmin\""
- Arcsecond: Unit of angular measure equal to 1/60 of an arcminute. Example: "\arcsec & \verb\"\arcsec\""
- Bbbk: Blackboard bold k; often denotes a base field in algebra. Example: " & \verb\"\Bbbk\""
- Beth: Hebrew letter used to denote infinite cardinals in the beth hierarchy. Example: " & \verb\"\beth\""
- Blacklozenge: Filled lozenge symbol used in logic or typographical notation. Example: " & \verb\"\blacklozenge\""
- Blacksquare: Filled square symbol, commonly used to mark the end of a proof. Example: " & \verb\"\blacksquare\""
- Blacktriangle: Filled triangle symbol used in geometric or logical contexts. Example: " & \verb\"\blacktriangle\""
- Bowtie: Relation symbol used to indicate certain equivalence or join relations. Example: " & \verb\"\bowtie\""
- CircledS: Stylized S in a circle; used in specialized mathematical contexts. Example: " & \verb\"\circledS\""
- Coproduct: Category-theoretic operation dual to product; generalizes disjoint unions. Example: "\coprod & \displaystyle \coprod & \hbox{\verb\"\coprod\"}"
- Daleth: Hebrew letter sometimes used in set theory for transfinite ordinals/cards. Example: " & \verb\"\daleth\""
- Diameter symbol: Technical symbol indicating diameter in engineering drawings. Example: "\diameter & \verb\"\diameter\""
- Digamma: Greek letter variant appearing in number theory and special functions. Example: " & \verb\"\digamma\""
- Earth: Astronomical symbol for the planet Earth. Example: "$\earth$ & \verb\"\earth\""
- Eth: The letter ð; in math/physics, denotes the spin-weighted differential operator. Example: " & \verb\"\eth\""
- Finv: Stylized inverse-F symbol used in advanced algebraic notation. Example: " & \verb\"\Finv\""
- Game: Symbol used in set theory/game theory to denote certain game constructs. Example: " & \verb\"\Game\""
- Gimel: Hebrew letter used in some cardinality notations. Example: " & \verb\"\gimel\""
- Hslash: Variant of ℏ (h-bar) used in quantum mechanics. Example: " & \verb\"\hslash\""
- Intercal: Binary operator symbol used in algebra/logic (intercalation). Example: " & \verb\"\intercal\""
- Leadsto: Arrow indicating “leads to” or “yields” in logical/algorithmic contexts. Example: " & \verb\"\leadsto\""
- Lozenge: Diamond-shaped modal operator (often denotes possibility in modal logic). Example: " & \verb\"\lozenge\""
- Measured angle: Angle symbol with arc mark used in geometry to denote a measured angle. Example: " & \verb\"\measuredangle\""
- Mho: Unit of electrical conductance (reciprocal of ohm), symbol ℧. Example: " & \verb\"\mho\""
- Multimap: Arrow indicating a multivalued mapping in category theory. Example: " & \verb\"\multimap\""
- Oint: Contour integral symbol used in complex analysis. Example: "\oint & \displaystyle \oint & \hbox{\verb\"\oint\"}"
- Restriction: Symbol for the restriction of a function to a subset. Example: " & \verb\"\restriction\""
- Rightsquigarrow: Squiggly arrow denoting weak transformations or reductions. Example: " & \verb\"\rightsquigarrow\""
- Spherical angle: Geometric angle measured on a sphere. Example: " & \verb\"\sphericalangle\""
- Sun: Astronomical symbol for the Sun. Example: "$\sun$ & \verb\"\sun\""
- Therefore: Three-dot symbol indicating logical consequence. Example: " & \verb\"\therefore\""
- Varnothing: Variant empty set symbol. Example: " & \verb\"\varnothing\""
- Wreath product: Group-theoretic construction combining two groups. Example: " & \verb\"\wr\""
Collections
Sign up for free to add this paper to one or more collections.