NEWS

---

Pinference 0.2.6 (2025-11-30)

• New two-argument function ifthen() for material implication.
• Updated documentation about choice of logical notation, emphasizing possible non-standard connective precedence.
• inferP() issues a warning if ! is used for "not" together with * + >, owing to very error-prone connective precedence with this use combination.

Pinference 0.2.5 (2025-10-06)

• Corrected links in documentation.
• New examples with inequality constraints.
• Initial CRAN submission.

Pinference 0.2.0

• New default notation, closer to the mathematical one.
• New argument solidus = to select new (default) or old notation.

Pinference 0.1.0

• Release of main function and explanatory vignette.