Hanson Char

Fix infinite loop in the example on Loops over list of items provided under Section 2.6.2 of TeX-programming-notes.tex

2

Fixes a bug in the example on *Loops over list of items* provided under *Section 2.6.2* of `TeX-programming-notes.tex`. ## How to locally build `TeX-programming-notes.pdf` from source ### Pre-requisite ```bash wget...

The existing note includes the following logical steps: > $\iff (x\in A)\wedge (x\not\in B)$ > $\iff (x\in A)\qquad\qquad\qquad\qquad (A\cap B=\emptyset).$ However, it’s unclear how the conclusion $$(x\in A)\wedge (x\not\in B)...

Exercise 3.1.1 has changed from the 3rd to the 4th edition

2

Just a minor inconsistency: > These are my notes on the books Analysis I and Analysis II, 4th edition, written by Terence Tao. It appears that the current note addresses...

> Exercise 3.1.5. Let $A, B$ be sets. Show that the three statements $A\subseteq B, A\cup B=B, A\cap B=A$ are logically equivalent (any one of them implies the other two)....

### Brief outline of the proposed feature **Motivation for this change** The conversation at https://github.com/pgf-tikz/pgf/issues/640 on the possibility of supporting the specification of options that can be applied to multiple...

Support syntax highlighting for Lean in Markdown code blocks

2

When generating documentation with markdown in `doc-gen4`, code blocks tagged as lean or lean4 (e.g., \```lean or \```lean4) currently do not support syntax highlighting. Are there any plans to add...

RFC: Streamlined Entry of LaTeX Math Blocks in Markdown

1

### Proposal This proposal suggests improving the Lean authoring experience by supporting a convenient way to wrap selected Markdown content as a $LaTeX$ math block—e.g., by allowing users to select...

Add `$` to surroundingPairs configuration

2

## Motivation VS Code currently has a helpful behavior where, if a block of text is selected and the user presses the backtick ("`"), the selected text is wrapped in...

On the [Learning Lean 4](https://leanprover-community.github.io/learn.html) page, it says > You can download the [tactic cheatsheet (pdf)](https://leanprover-community.github.io/papers/lean-tactics.pdf) for a reference of most common tactics. However, the list in the PDF appears...

In Exercise 3.5.6, it says: > This statement is not true when $(A=\emptyset)\lor (B=\emptyset)$. While this is true if one of $A,B$ is empty, the claim is false when both...