Conditional statements syntax

[matteofg]

LaTeX provides many conditional statements, but not all of them provide for setting a single true or false branch. Is it possible to generalize the syntax, so that I can write, for example
\IfFileAtLeastF{<file>}{<date>}{<false>}
instead of
\IfFileAtLeastTF{<file>}{<date>}{}{<false>}
?

[FrankMittelbach]

commands added

[muzimuzhi]

\IfExplAtLeastTF defined in ltexpl.dtx also needs T and F variants.

Then how about remaining \If...TF commands? Currently LaTeX2e kernel provides

• \IfDocumentMetadataTF
• \IfExplAtLeastTF
• \IfHookEmptyTF
• \IfHookExistsTF
• \IfLabelExistTF
• \IfMarksEqualTF
• \IfPropertyExistTF
• \IfPropertyRecordedTF
• \IfPDFManagementActiveTF

BTW among all \If...Exist(s)TF commands, \IfHookExistsTF is the only one which uses third-person singular form Exists. Need a renaming (and keep old name for backwards compatibility)?

[car222222]

\IfExplAtLeastTF is also the only one whose meaning is unnecessarily obscure:
what is Expl? and why does it have a date?

[muzimuzhi]

@car222222 It tests the date of l3kernel bundled into the LaTeX2e format, see #1004.

\IfExpl3AtLeastTF would be better, but unfortunately digits don't have catcode 'letter' by default.

[car222222]

@muzimuzhi : Thanks for the reference!

But I would never have worked that out from the name. Explthree or Expliii would be better, but even then it needs a very careful explanation of exactly what it means: what is it whose date is actually consulted (this turns out to be very obscure: and knowing that it is the date below does little to enlighten this).

I am unsure if it would be useful to explain that it refers to this, also very obscure, date: \ExplLoaderFileDate (but that at least has the word "File" in it!).