Kenny Lau

∈ is stupid and needs to be fixed when using a subscript

1

[https://chat.stackexchange.com/transcript/message/38392326#38392326](https://chat.stackexchange.com/transcript/message/38392326#38392326)

Feature requests (constantly updating)

2

# Predicates - Modpow (overload `^`) - Bitwise operators (and, or, xor, not, left-shift, right-shift) - Power of 2 - Power of 10 - GCD - LCM - Split at...

Backslash escapes quotation mark even when escaped.

3

`"\"` gets treated as quotation, but even `"\\"` gets treated as quotation.

syntax highlighter thinks new command is undefined

4

### Environment - TeXstudio: 2.12.10 - Qt: 5.8.0 - OS: Windows 10 ### How to reproduce Firstly paste the following code: ``` \documentclass{article} \newcommand{\abc}{1} \newcommand{\abc}{1} \begin{document} \abc \end{document} ``` Observe...

old_structure_cmd cannot extend structures with subobjects

3

```lean class A : Type := (B : true) class C extends A := (D : true) set_option old_structure_cmd true class E extends C := (F : true) #print E...

For example, the regex `(.)+`, when applied to `abcd`, would have the first capture group containing for elements, `{a,b,c,d}`. The feature request is to create a substitution pattern, for example...

Feature request: backslash standalone when not escaping characters

1

For example, `\/` should render as two tokens instead of one since `/` is an ordinary character.

[Feature request] Keyboard tutorial

31

I think it would be good if you would include a tutorial on how exactly to type each character, except copying them from your webpage.

Default to a(0) = 0

1

If a recursion does not specify `a(0)`, default it to `0`. Check for recursion by analysing the arity of each operator of the program.

Pressing Ctrl+Space (Cmd+Space for Mac) at the end of `#check foo.bar` gives no suggestions, instead of `foo.bar`, as it should. ```lean class foo (α : Type) : Type := (bar...