Well, I guess ENWorld just isn't the teeming hive of theoretical arithmeticists that I thought it was.
It is not about 'theoretical mathematics' ... It is hackneyed symbolic logic. We all know the meaning of 1d4. The format is pretty simple...
XdY
X - Number of Dice rolled.
d - Die 'constant'
Y - Sides of rolled die.
In and of itself XdY is an rule. For every appearance we known to roll X number of Y sided die. We also know, per inference, that no displayed value for X, as in the argument (d4, or -d4 for holding place clarification) makes the pre-d value known as X=1.
Thus, your discussion of 1d4d4 presents two separate arguments:
(1d4) and (-d4). -d4 = 1d4, so we are presented with the argument of 1d4 and 1d4. Two separate arrangements.
A couple accepted formats for a multiplying (at least in the very rare case I have seen shorthand on the subject, as it isn't unheard of but odd):
1d4*d4, 1d4*1d4, or d4*d4
1d4Xd4, 1d4X1d4, d4Xd4
All read the same.
Again, it's been awhile since I did any higher maths, but the XdY rule comes as a set. Treat each separate appearance as a unique number, similar to the use of any abstract symbol to 'solve for'.
Slainte,
-Loonook.