`\mid` (U+2223) is not read like `|` in set builder and conditional probability

Abierto
#956 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
57/100
Tipo de issue
Error
Claridad
Bastante claro
Estado de actividad
Activo
Stack tecnológico
rust

Línea de trabajo

Start by finding where MathCAT assigns ClearSpeak speech to the U+2223 operator and how it recognizes set builder expressions and conditional probability in the Rust code. Check the relevant speech tests for these two patterns and run them before changing behavior. Done means ∣ is read like | in those contexts while number or letter relations such as “a ∣ b” still use “divides.”

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

LaTeX writes \mid as ∣ (U+2223). With | both cases are fine; with ∣ they are read as "divides" (ClearSpeak, English, main):

input with | with ∣
{x ∣ x > 0} the set of all x such that x is greater than 0 open brace, x divides x is greater than 0; close brace
P(A ∣ B) p, open paren a given b, close paren p, open paren, a divides b, close paren
<math><mo>{</mo><mi>x</mi><mo>∣</mo><mi>x</mi><mo>&gt;</mo><mn>0</mn><mo>}</mo></math>
<math><mi>P</mi><mo>(</mo><mi>A</mi><mo>∣</mo><mi>B</mi><mo>)</mo></math>

∣ could be inferred like | in these two patterns; a ∣ b between numbers or letters can stay "divides".

Lenguaje dominante
Rust
Estrellas
130
Forks
96
Merge medio
1 d 1 h
PR fusionados (30 d)
84

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de daisy/MathCAT

Todos los issues de daisy/MathCAT

Issues similares

Más issues de Rust

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.